#include <stdlib.h>
#include <stdio.h>

char* jscan_tokenstr(unsigned int token) {
  static char* tokenstr_list[] = {
	/*!TOKENSTR_LIST!*/
  };
  char* result = tokenstr_list[token];
  return result;
}
